Sous-typage Et Programmation Orient Ee a Objets Ecole Jeunes Chercheurs Du Gdr Programmation

Sous-typage Et Programmation Orient Ee a Objets Notes De Cours Dea S Emantique, Preuves Et Programmation

Vérification par model-checking de systèmes hybrides objets-règles

RÉSUMÉ. Un nombre croissant d’approches mixtes combinent programmation à base de règles et programmation orientée objets. La vérification des programmes hybrides à base d’objets et de règles est devenue un problème de plus en plus urgent à résoudre. Les méthodes de vérification existantes, développées soit pour les programmes orientés objets soit pour les systèmes de règles classiques, ne sont ...

Aspects logiques

Ceci est la version 6 de la deuxième partie du cours de lambda-calcul, datant du 05 avril 2016 (merci à Nathanaël Courant et à David Baelde). La version 5 datait du 02 juin 2014. La version 4 datait du 28 janvier 2011. (Bizarrement, je n’avais pas remarqué quelques erreurs présentes depuis dix ans dans la démonstration des théorèmes de normalisation forte. Merci à Hang Zhou et à Arthur Milchior...

Une approche en programmation par contraintes pour la classification non supervisée

Résumé. Dans cet article, nous abordons le problème de classification non supervisée sous contraintes fondé sur la programmation par contraintes (PPC). Nous considérons comme critère d’optimisation la minimisation du diamètre maximal des clusters. Nous proposons un modèle pour cette tâche en PPC et nous montrons aussi l’importance des stratégies de recherche pour améliorer son efficacité. Notre...

ILOG : vingt ans dans les objets, rétro et perspectives

De nombreux fronts se sont ouverts, souvent complémentaires. Front de la programmation : des objets lispiens tels que LeLisp et son inévitable MicroCeyx à Java et C#. Front de la modélisation et du raisonnement : de la première génération de systèmes centrés objets tels Kool, Smeci, FRL ou Sherpa aux règles métiers et aux modèles ontologiques tels que promus par le W3C. Front du Génie Logiciel ...